منابع مشابه
Plugging a Space Leak with an Arrow
The implementation of conceptually continuous signals in functional reactive programming (FRP) is studied in detail. We show that recursive signals in standard implementations using streams and continuations lead to potentially serious time and space leaks under conventional call-by-need evaluation. However, by moving to the level of signal functions, and structuring the design around arrows, t...
متن کاملCould Plugging the Oxidation - Mediated Ca 2 Leak Stem
As the most common sustained arrhythmia, atrial fibrillation (AF) afflicts 2 million patients in the United States alone, and this number is predicted to double by the year 2050.1 Although AF is not life-threatening, it is linked to a 2-fold increase in mortality when present as a comorbidity in heart disease patients.2,3 AF can have devastating consequences, such as stroke, impaired cardiac pe...
متن کاملPlugging space into predator-prey models: an empirical approach.
Extrapolating ecological processes from small-scale experimental systems to scales of natural populations usually entails a considerable increase in spatial heterogeneity, which may affect process rates and, ultimately, population dynamics. We demonstrate how information on the heterogeneity of natural populations can be taken into account when scaling up laboratory-derived process functions, u...
متن کاملLeak Signature Space: An Original Representation for Robust Leak Location in Water Distribution Networks
In this paper, an original model-based scheme for leak location using pressure sensors in water distribution networks is introduced. The proposed approach is based on a new representation called the Leak Signature Space (LSS) that associates a specific signature to each leak location being minimally affected by leak magnitude. The LSS considers a linear model approximation of the relation betwe...
متن کاملQuantized Space-time and Time’s Arrow
Motivated by the latest direct detection of time assymetry in Kaon decay at CERN and Fermilab, we suggest a theoretical rationale for this puzzle, in terms of quantized time. The arrow of time has been a puzzle for a long time. As is well known, the laws of Newtonian Mechanics, Electromagnetism or Quantum Theory do not provide an arrow of time they are equally valid under time reversal, with on...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2007
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2007.10.006